Performance Analysis of a Hybrid Electric Ship by Real-Time Verification
نویسندگان
چکیده
International maritime transport organizations are proposing regulatory actions and strategies aimed at decarbonizing the sector to reduce its greenhouse gas (GHG) emissions, which currently constitute around 3% of global total. Hybrid propulsion systems have significant potential in this respect, as a means power-saving ships. This paper describes high-fidelity benchmark for hybrid-electric vessels, combining diesel generators batteries. The consists detailed models, parameters provided so that models can be reproduced. proposed ship topology control system was validated using real-time hardware-in-the-loop (HIL) simulations on Typhoon HIL402 platform. results provide analysis operation different components under varying conditions, should useful prototyping these kinds systems. In addition, response evaluated with regard disturbances resulting from system’s operation. show performed correctly during transitory events, no undesirable responses.
منابع مشابه
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze the qualitative properties of hybrid real-time systems. In this paper, we propose the use of qualitative formal methods, Compositional Modeling Language (CML) and Causal Functional Representation Language (CFRL) in part...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملA two-stage stochastic programming model for the optimal sizing of hybrid PV/diesel/battery in hybrid electric ship system
Ships play the major role in bulk transportation and they need their special energy system. This paper proposes a stochastic programing method for optimal sizing of a hybrid ship power system with energy storage system (ESS), photovoltaic power (PV) and diesel generator. To account for uncertainties, in this study a two-stage stochastic mixed-integer non-linear programing is used to model the o...
متن کاملVerification, Performance Analysis and Controller Synthesis for Real-Time Systems
Particular attention will be given to the theory of the underlying formalisms of the UPPAAL tool suite, including: timed automata, priced timed automata, and (priced) timed games addressing a number of associated decision problems related to model-checking and optimal scheduling and strategies. The lectures will highlight the by now classical region-construction underlying the decidability of s...
متن کاملAnalytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
This paper presents a compositional and hybrid approach for the performance analysis of distributed real-time systems. The developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata. The interaction among the heterogeneous components is modeled by streams of discrete events. In total this yiel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Energies
سال: 2022
ISSN: ['1996-1073']
DOI: https://doi.org/10.3390/en15062116